#include <linux/sched.h>
#include <linux/sched/task.h>
#include <linux/sched/init.h>
#include <linux/start_kernel.h>
#include <linux/delay.h>
#include <linux/printk.h>
#include <linux/jiffies.h>

int main(void)
{
    extern void arch_start_kernel(void);

    arch_start_kernel();
}

void run_user(void)
{
    int cnt = 0;
    int d = 0;
    float f = 0.0;

    while (1)
    {
        f = d * 0.5;
        cnt = f;
        printk("running %d, %d, %d\r\n", cnt, jiffies, d);
        d = jiffies;
        msleep(2000);
        d = jiffies - d;
    }
}
